COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.ASEC(Bibliography)
C00004 00003	. ASSECP(Books and Memos)
C00025 00004	Kac, Mark, and S. Ulam, 4Mathematics and Logic: Retrospects and Prospects*,
C00038 00005	.ASSECP(Articles)
C00047 00006	.ASSECP(Documentation)
C00051 ENDMK
C⊗;
.ASEC(Bibliography)


All the references  below have actually  been read as  background for
AM.    They   form  a  large  yet  far  from  comprehensive  list  of
publications dealing  with automated  theory formation  and with  how
mathematicians do research.   From a single author  or project (e.g.,
DENDRAL),  only one or two recent papers  are listed.  I relied most heavily
upon those marked with a
"⊗8α@⊗*" sign) 

First is  a listing of the  books which were read,
followed by a bibliography of relevant articles.
The final subsection of this appendix gives pointers to real-world
documentation, the AM program itself, etc.

.BIB: ASECNUM    ;

. ASSECP(Books and Memos)

.BEGIN FILL SINGLE SPACE  PREFACE 1 INDENT 0,4,0 ; ONCE PREFACE 2

⊗8α@⊗*Adams, James L., ⊗4Conceptual Blockbusting⊗*, W.H. Freeman and Co.,
San Francisco, 1974.

Allendoerfer, Carl B., and Oakley, Cletis O., ⊗4Principles of
Mathematics⊗*, Third Edition, McGraw-Hill, New York, 1969.

Alexander, Stephen, ⊗4On the Fundamental Principles of Mathematics⊗*,
B. L. Hamlen, New Haven, 1849.


Arnheim, Rudolph, ⊗4Visual Thinking⊗*, U. of Ca. Press, Berkeley, 1969.

Aschenbrenner, Karl, ⊗4The Concepts of Value⊗*, D. Reidel Publishing
Company, Dordrecht, Holland, 1971.

Atkin, A. O. L., and Birch, B. J., eds., ⊗4Computers in Number Theory⊗*,
Proceedings of the 1969 SRCA Oxford Symposium, Academic Press, New York, 
1971.

Avey, Albert E., ⊗4The Function and Forms of Thought⊗*, Henry Holt and
Company, New York, 1927.

⊗8α@⊗*Badre, Nagib A., ⊗4Computer Learning From English Text⊗*, Memorandum
No. ERL-M372, Electronics Research Laboratory, UCB, December 20, 1972.
Also summarized in ⊗4CLET -- A Computer Program that Learns Arithmetic
from an Elementary Textbook⊗*, IBM Research Report RC 4235, February
21, 1973.

Bahm, A. J., ⊗4Types of Intuition⊗*, University of New Mexico Press,
Albuquerque, New Mexico, 1960.

Banks, J. Houston, ⊗4Elementary-School Mathematics⊗*, Allyn and Bacon,
Boston, 1966.

Berkeley, Edmund C., ⊗4A Guide to Mathematics for the Intelligent
Nonmathematician⊗*, Simon and Schuster, New York, 1966.

Berkeley, Hastings, ⊗4Mysticism in Modern Mathematics⊗*, Oxford U. Press,
London, 1910.

Beth, Evert W., and Piaget, Jean, ⊗4Mathematical Epistemology and
Psychology⊗*, Gordon and Breach, New York, 1966.

Black, Max, ⊗4Margins of Precision⊗*, Cornell University Press,
Ithaca, New York, 1970.

Blackburn, Simon, ⊗4Reason and Prediction⊗*, Cambridge University Press,
Cambridge, 1973.

Bongard, ⊗4Pattern Recognition⊗*, USSR

⊗8α@⊗*Brotz, Douglas K., ⊗4Embedding Heuristic Problem Solving Methods in a
Mechanical Theorem Prover⊗*, dissertation published as Stanford Computer
Science Report STAN-CS-74-443, August, 1974.

Brown, G. Spencer, ⊗4Laws of Form⊗*, The Julian Press, Inc., N.Y. 1972.

Bruner, Jerome S., Goodnow, J. J., and Austin, G. A., ⊗4A Study of
Thinking⊗*, Harvard Cognition Project, John Wiley & Sons,
New York, 1956.

Charosh, Mannis, ⊗4Mathematical Challenges⊗*, NCTM, Wahington, D.C., 1965.

Cohen, Paul J., ⊗4Set Theory and the Continuum Hypothesis⊗*,  W.A.Benjamin, Inc.,
New York, 1966.

Copeland, Richard W., ⊗4How Children Learn Mathematics⊗*, The MacMillan
Company, London, 1970.

Courant, Richard, and Robins, Herbert, ⊗4What is Mathematics⊗*, 
Oxford University Press, New York, 1941.

D'Augustine, Charles, ⊗4Multiple Methods of Teaching Mathematics in the
Elementary School⊗*, Harper & Row, New York, 1968.

Dijkstra, Edsger W., ⊗4A Discipline of Programming⊗*, Prentice-Hall, Inc., 
Englewood Cliffs, N.J., 1976.

Dodge, Clayton W., ⊗4Sets, Logic, and Numbers⊗*, Prindle, Weber & Schmidt, Inc.,
Boston, 1969.

Dornbusch, Sanford, and Scott, ⊗4Evaluation and the Exercise of Authority⊗*,
Jossey-Bass, San Francisco, 1975.

Douglas, Mary (ed.), ⊗4Rules and Meanings⊗*, Penguin Education,
Baltimore, Md., 1973.

Dowdy, S. M., ⊗4Mathematics: Art and Science⊗*, John Wiley & Sons, NY, 1971.

Dubin, Robert, ⊗4Theory Building⊗*, The Free Press, New York,  1969.

Dubs, Homer H., ⊗4Rational Induction⊗*, U. of Chicago Press, Chicago, 1930.

Dudley, Underwood, ⊗4Elementary Number Theory⊗*, W. H. Freeman and
Company, San Francisco, 1969.

Eddington,..., ⊗4New Pathways in Science⊗*,...

Eynden, Charles Vanden, ⊗4Number Theory: An Introduction to Proof⊗*, 
International Textbook Comapny, Scranton, Pennsylvania, 1970.

Feigenbaum, Edward, and Julian Feldman, ⊗4Computers and Thought⊗*,...

Fuller, R. Buckminster, ⊗4Intuition⊗*, Doubleday, Garden City, New York,
1972.

Fuller, R. Buckminster, ⊗4Synergetics⊗*, ...

GCMP, ⊗4Key Topics in Mathematics⊗*, Science Research Associates,
Palo Alto, 1965.

George, F. H., ⊗4Models of Thinking⊗*, Schenkman Publishing Co., Inc.,
Cambridge, Mass., 1972.

Goldstein, Ira, ⊗4Elementary Geometry Theorem Proving⊗*, MIT AI Memo 280,
April, 1973.

Goodstein, R. L., ⊗4Fundamental Concepts of Mathematics⊗*, Pergamon Press, 
New York, 1962.

Goodstein, R. L., ⊗4Recursive Number Theory⊗*, North-Holland Publishing Co.,
Amsterdam, 1964.

⊗8α@⊗*Green, Waldinger, Barstow, Elschlager, Lenat, McCune, Shaw, and Steinberg,
⊗4Progress Report on Program-Understanding Systems⊗*, Memo AIM-240,
CS Report STAN-CS-74-444,Artificial Intelligence Laboratory,
Stanford University, August, 1974.

⊗8α@⊗*Hadamard, Jaques, ⊗4The Psychology of Invention in the Mathematical
Field⊗*, Dover Publications, New York, 1945.

Halmos, Paul R., ⊗4Naive Set Theory⊗*, D. Van Nostrand Co., 
Princeton, 1960.

Hanson, Norwood R., ⊗4Perception and Discovery⊗*, Freeman, Cooper & Co.,
San Francisco, 1969.

Hardy, G. H.,  and E. M. Wright, ⊗4An Introduction to the Theory of Numbers⊗*,
Oxford U. Press, London, 1938. (Fourth edition, 1960)

Harre, Rom, ⊗4The Principles of Scientific Thinking⊗*, The U. of Chicago Press, 1970.

Hartman, Robert S., ⊗4The Structure of Value: Foundations of Scientific
Axiology⊗*, Southern Illinois University Press, Carbondale, Ill., 1967.

Hayes-Roth, Frederick, and Victor R. Lesser, ⊗4Focus of Attention in a Distributed
Speech Understanding System⊗*, Computer Science Dept. Memo , Carnegie Mellon
University, Pittsburgh, Pa., January 12, 1976.

Hempel, Carl G., ⊗4Fundamentals of Concept Formation in Empirical
Science⊗*, University of Chicago Press, Chicago, 1952.

Hibben, John Grier, ⊗4Inductive Logic⊗*, Charles Scribner's Sons,
New York, 1896.

Hilpinen, Risto, ⊗4Rules of Acceptance and Inductive Logic⊗*, Acta
Philosophica Fennica, Fasc. 22, North-Holland Publishing Company,
Amsterdam, 1968.

Hintikka, Jaako, ⊗4Knowledge and Belief⊗*, Cornell U. Press, Ithaca, NY, 1962.

Hintikka, Jaako, and Suppes, Patrick (eds.), ⊗4Aspects of Inductive
Logic⊗*, North-Holland Publishing Company, Amsterdam, 1966.

Iberall, Arthur S., ⊗4Toward a General Science of Viable Systems⊗*,
McGraw-Hill Book Co., N.Y. 1972.

Jouvenal, Bertrand de, ⊗4The Art of Conjecture⊗*, Basic Books, Inc.,
New York, 1967.

Kac, Mark, and S. Ulam, ⊗4Mathematics and Logic: Retrospects and Prospects⊗*,
Frederick A. Praeger, N.Y. 1968.

⊗8α@⊗*Kershner, R.B., and L.R.Wilcox, ⊗4The Anatomy of Mathematics⊗*, The Ronald
Press Company, New York, 1950.

Klauder, Francis J., ⊗4The Wonder of Intelligence⊗*, Christopher
Publishing House, North QUincy, Mass., 1973.

Klerner, M., and J. Reinfeld, eds., ⊗4Interactive Systems for Applied Mathematics⊗*,
ACM Symposium, held in Washington, D.C., August, 1967. Academic Press, NY, 1968.

Kline, M. (ed), ⊗4Mathematics in the Modern World: Readings from Scientific
American⊗*, W.H.Freeman and Co., San Francisco, 1968.

⊗8α@⊗*Kling, Robert Elliot, ⊗4Reasoning by Analogy with Applications to Heuristic
Problem Solving: A Case Study⊗*, Stanford Artificial Intelligence Project
Memo AIM-147, CS Department report CS-216, August, 1971.

Knuth, Donald, ⊗4The Art of Computer Programming⊗*,... esp. Volume 1.

Knuth, Donald, ⊗4Surreal Numbers⊗*, ...

Koestler, Arthur, ⊗4The Act of Creation⊗*,  New York, Dell Pub., 1967.

Korner, Stephan, ⊗4Conceptual Thinking⊗*, Dover Publications, New York,
1959.

Krivine, Jean-Louis, ⊗4Introduction to Axiomatic Set Theory⊗*, Humanities Press,
New York, 1971.

Kubinski, Tadeusz, ⊗4On Structurality of Rules of Inference⊗*, Prace
Wroclawskiego Towarzystwa Naukowego, Seria A, Nr. 107, Worclaw, 
Poland, 1965.

Lakatos, Imre (ed.), ⊗4The Problem of Inductive Logic⊗*, North-Holland 
Publishing Co., Amsterdam, 1968.

Lamon, William E., ⊗4Learning and the Nature of Mathematiccs⊗*, Science
Research Associates, Palo Alto, 1972.

Lang, Serge, ⊗4Algebra⊗*, Addison-Wesley, Menlo Park, 1971.

Lefrancois, Guy R., ⊗4Psychological Theories and Human Learning⊗*, 1972.

Le Lionnais, F., ⊗4Great Currents of Mathematical Thought⊗*, Dover
Publications, New York, 1971.

Margenau, Henry, ⊗4Integrative Principles of Modern Thought⊗*, Gordon
and Breach, New York, 1972.

Martin, James, ⊗4Design of Man-Computer Dialogues⊗*, Prentice-Hall, Inc.,
Englewood Cliffs, N. J., 1973.

Martin, R. M., ⊗4Toward a Systematic Pragmatics⊗*, North Holland Publishing
Company, Amsterdam, 1959.

Maxwell, E. A., ⊗4Fallacies in Mathematics⊗*, University Press at Cambridge, G.B.,
1959.

Mendelson, Elliott, ⊗4Introduction to Mathematical Logic⊗*, Van Nostrand Reinhold
Company, New York, 1964.

Meyer, Jerome S., ⊗4Fun With Mathematics⊗*, Fawcett Publications,
Greenwich, Connecticut, 1952.

Mirsky, L., ⊗4Studies in Pure Mathematics⊗*, Academic Press, New
York, 1971.

⊗8α@⊗*Moore, J., and Newell, ⊗4How Can Merlin Understand?⊗*, Carnegie-Mellon University
Department of Computer Science "preprint", November 15, 1973.

Moore, Robert C., ⊗4D-SCRIPT: A Computational Theory of Descriptions⊗*,
MIT AI Memo 278, February, 1973.

Nagel, Ernst, ⊗4The Structure of Science⊗*, Harcourt, Brace, & World, Inc.,
N. Y., 1961.

National Council of Teachers of Mathematics, ⊗4The Growth of Mathematical
Ideas⊗*, 24th yearbook, NCTM, Washington, D.C., 1959.

Newell, Allen, and Simon, Herbert, ⊗4Human Problem Solving⊗*, 1972.

Nevins, Arthur J., ⊗4A Human Oriented Logic for Automatic Theorem
Proving⊗*, MIT AI Memo 268, October, 1972.

Niven, Ivan, and Zuckerman, Herbert, ⊗4An Introduction to the Theory
of Numbers⊗*, John Wiley & Sons, Inc., New York, 1960.

Olson, Robert G., ⊗4Meaning and Argument⊗*, Harcourt, Brace & World,
New York, 1969.

Ore, Oystein, ⊗4Number Theory and its History⊗*, McGraw-Hill, 
New York, 1948.

Parish, Charles, and Roy McCormick, ⊗4A Structral Approach to Arithmetic⊗*,
Van Nostrand Reinhold Co., N.Y., 1970.

Parker, Francis D., ⊗4The Structure of Number Systems⊗*, Prentice-Hall, Inc.,
Englewood Cliffs, N.J.,  1966.

Pietarinen, Juhani, ⊗4Lawlikeness, Analogy, and Inductive Logic⊗*,
North-Holland, Amsterdam, published as v. 26 of the series
Acta Philosophica Fennica (J. Hintikka, ed.), 1972.

⊗8α@⊗*Poincare', Henri, ⊗4The Foundations of Science: Science and Hypothesis,
The Value of Science, Science and Method⊗*, The Science Press, New York,
1929. 
.COMMENT main library, 501  P751F, copy 4;

⊗8α@⊗*Polya, George, ⊗4Mathematics and Plausible Reasoning⊗*, Princeton
University Press, Princeton, Vol. 1, 1954;  Vol. 2, 1954.

⊗8α@⊗*Polya, George, ⊗4How To Solve It⊗*, Second Edition, Doubleday Anchor Books, 
Garden City, New York, 1957.

⊗8α@⊗*Polya, George, ⊗4Mathematical Discovery⊗*, John Wiley & Sons,
New York, Vol. 1, 1962; Vol. 2, 1965.

Richardson, Robert P., and Edward H. Landis, ⊗4Fundamental Conceptions of
Modern Mathematics⊗*, The Open Court Publishing Company, Chicago, 1916.

Rosskopf, Steffe, Taback  (eds.), ⊗4Piagetian Cognitive-
Development Research and Mathematical Education⊗*,
National Council of Teachers of Mathematics, New York, 1971.

Rulison, Jeff, and... ⊗4QA4, A Procedural Frob...⊗*,
Technical Note..., Artificial Intelligence Center, SRI, Menlo
Park, California, ..., 1973.

Saaty, Thomas L., and Weyl, F. Joachim (eds.), ⊗4The Spirit and the Uses
of the Mathematical Sciences⊗*, McGraw-Hill Book Company, New York, 1969.

Schminke, C. W., and Arnold, William R., eds., ⊗4Mathematics is a Verb⊗*,
The Dryden Press, Hinsdale, Illinois, 1971.

Singh, Jagjit, ⊗4Great Ideas of Modern Mathematics⊗*, Dover Publications,
New York, 1959.

⊗8α@⊗*Skemp, Richard R., ⊗4The Psychology of Learning Mathematics⊗*, 
Penguin Books, Ltd., Middlesex, England, 1971.

Slocum, Jonathan, ⊗4The Graph-Processing Language GROPE⊗*, U. Texas at Austin,
Technical Report NL-22, August, 1974.

Smith, Nancy Woodland, ⊗4A Question-Answering System for Elementary Mathematics⊗*,
Stanford Institute for Mathematical Studies in the Social Sciences, Technical
Report 227, April 19, 1974.

Smith, R.L., Nancy Smith, and F.L. Rawson, ⊗4CONSTRUCT: In Search of a Theory of
Meaning⊗*, Stanford IMSSS Technical Report 238, October 25, 1974.

Spivak, Michael, ⊗4Calculus on Manifolds⊗*,  W.A.Benjamin, Inc., N.Y. 1965.

Stein, Sherman K., ⊗4Mathematics: The Man-Made Universe: An Introduction
to the Spirit of Mathematics⊗*, Second Edition, W. H. Freeman and 
Company, San Francisco,  1969.

Stewart, B. M., ⊗4Theory of Numbers⊗*, The MacMillan Co., New York, 1952.

Stokes, C. Newton, ⊗4Teaching the Meanings of Arithmetic⊗*, 
Appleton-Century-Crofts, New York, 1951.

Streeter, Donald N., ⊗4The Scientific Process and the Computer⊗*, John Wiley & Sons,
New York, 1974.

Suppes, Patrick, ⊗4A Probabilistic Theory 
of Causality⊗*, Acta Philosophica Fennica,
Fasc. 24, North-Holland Publishing Company, Amsterdam, 1970.

Teitelman, Warren, ⊗4INTERLISP Reference
Manual⊗*, XEROX PARC, 1974.

Tullock, Gordon,  ⊗4The Organization of Inquiry⊗*, Duke U. Press, Durham, N. C.,
1966.

Venn, John, ⊗4The Principles of Empirical or Inductive Logic⊗*,
MacMillan and Co., London, 1889.

Waismann, Friedrich, ⊗4Introduction to Mathematical Thinking⊗*, 
Frederick Ungar Publishing Co., New York, 1951.

Watzlawick, P., John Weakland, and Richard Fisch, ⊗4Change: Principles of
Problem Formulation and Problem Resolution⊗*, W.W.Norton & Co., Inc., N.Y. 1974.

Wickelgren, Wayne A., ⊗4How to Solve Problems: Elements of a Theory of Problems
and Problem Solving⊗*, W. H. Freeman and Co., Sanf Francisco, 1974.

Wilder, Raymond L., ⊗4Evolution of Mathematical Concepts⊗*, John Wiley & Sons,
Inc., NY, 1968.

⊗8α@⊗*Winston, Patrick, ⊗4Learning Structural Descriptions
from Examples⊗*, Ph.D. thesis, Dept. of Electrical Engineering,
TR-76, Project MAC, TR-231, MIT AI Lab, September, 1970.

Winston, P., (ed.),
"New Progress in Artificial Intelligence",
⊗4MIT AI Lab Memo AI-TR-310⊗*, June, 1974. 

Winston, P., (ed.),
⊗4The Psychology of Computer Vision⊗*,
McGraw Hill, N.Y. 1975, pp. 157-277.

Wittner, George E., ⊗4The Structure of Mathematics⊗*, Xerox College Publishing,
Lexington, Mass, 1972.

Wright, Georg H. von, ⊗4A Treatise on Induction and Probability⊗*,
Routledge and Kegan Paul, London, 1951.

.END
.ASSECP(Articles)

.BEGIN FILL SINGLE SPACE  PREFACE 1 INDENT 0,4,0 TURN OFF "@"

Amarel, Saul, ⊗4On Representations of Problems of Reasoning about
Actions⊗*, Machine Intelligence 3, 1968, pp. 131-171.

Bledsoe, W. W., ⊗4Splitting and Reduction Heuristics in Automatic
Theorem Proving⊗*, Artificial Intelligence 2, 1971, pp. 55-77.

Bledsoe and Bruell, Peter, ⊗4A Man-Machine Theorem-Proving System⊗*,
Artificial Intelligence 5, 1974, 51-72.

Bourbaki, Nicholas, ⊗4The Architechture of Mathematics⊗*, American Mathematics
Monthly, v. 57, pp. 221-232, Published by the MAA, Albany, NY, 1950.

⊗8α@⊗*Boyer, Robert S., and J. S. Moore, ⊗4Proving Theorems about LISP Functions⊗*,
JACM, V. 22, No. 1, January, 1975, pp. 129-144.

Bruijn, N. G. de, ⊗4AUTOMATH, a language for mathematics⊗*, Notes taken by
Barry Fawcett, of Lecures given at the Seminare de mathematiques Superieurs,
University de Montreal, June, 1971. Stanford University Computer Science
Library report number is 005913.

⊗8α@⊗*Buchanan, Feigenbaum, and Sridharan, ⊗4Heuristic Theory Formation⊗*,
Machine Intelligence 7, 1972, pp. 267-...

⊗8α@⊗*Bundy, Alan, ⊗4Doing Arithmetic with Diagrams⊗*, 3rd IJCAI, 
1973, pp. 130-138.

Daalen, D. T. van, ⊗4A Description of AUTOMATH and some aspects of its language
theory⊗*, in the Proceedings of the SYmposium on APL, Paris, December, 1973,
P. Braffort (ed). This volume also contains other, more detailed articles on this
project, by  Bert Jutting and Ids Zanlevan.

Engelman, C., ⊗4MATHLAB: A Program for On-Line Assistance in Symbolic Computation⊗*,
in Proceedings of the FJCC, Volume 2, Spartan Books, 1965.

Engelman, C., ⊗4MATHLAB '68⊗*, in IFIP, Edinburgh, 1968.

Gardner, Martin, ⊗4Mathematical Games⊗*, Scientific American, numerous columns,
including especially:  February, 1975.

⊗8α@⊗*Gelernter, H., ⊗4Realization of a Geometry-Theorem Proving Machine⊗*,
in (Feigenbaum and Feldman, eds.) ⊗4Computers and Thought⊗*, Part 1, Section 3,
pages 134-152, McGraw-Hill Book Co., New York, 1963.

Goldstine, Herman H., and J. von Neumann, ⊗4On the Principles of Large Scale
Computing Machines,⊗* pages 1:33 of Volumne 5 of A. H. Taub (ed), ⊗4The
Collected Works of John von Neumann⊗*, Pergamon Press, NY, 1963.

Guard, J. R., et al., ⊗4Semi-Automated Mathematics⊗*, JACM 16,
January, 1969, pp. 49-62.

Halmos, Paul R., ⊗4Innovation in Mathematics⊗*, in
Kline, M. (ed), ⊗4Mathematics in the Modern World: Readings from Scientific
American⊗*, W.H.Freeman and Co., San Francisco, 1968, pp. 6-13. Originally in
Sci`αpw#'≠'~απ7↔⊗K∂π9bαO↔C&+7↔∩a↓Ee+A84(hR#πO≡)1α!raYRnS#↔n/'-ε3Mα>KOO↔w≠∂#π7!1α/.sOQβ.s⊃α7∞≠#PYR`4)"nS#↔nS'∂~βπMα≡≠'↔;≡)1απ↔!1βπv!αC?>+I%1∧∪π∪↔rjπ∪.⊃1↓EK)I84Ph(Y`∀Y*#/;'SQbα∂πKbaYR
αW;'6+KOπbα7?∪.cπIα~R>I∧3?K7∞c'O5ε3?H4TKS'6K∂'πbα';S.c3'∨.s∂∀YRaαS#O∪⊃α'w#↔K;∂#'?;∞aα+?NsQα∂}s≠↔K.s∂∃β}p4*π↔#'≠'≡Kπ1αNsS↔3fK∨↔;≡)04)I]M1πβA9↓∪→U5I#)84)t~>66,rQα7∂K∃β
β↔S&+Iαε≥">JMπ∪↔≠↔⊗+;∂∃{X4(4Tk↔;∨/→1α∨.sS↔IbYR'v3↔K↔v≠∃βπv!α∪↔≡KO'?q1)1hS'93"O↔3.≠S¬α∨#πS'∨#'∂¬∧≠π;π&Kπ;∧2Q04*V{#9α>K3↔eα1αO?w→1α;/9αg?⊗Y1↓↓I]M1πβA9↓
iEY8hP4*/fK;≥1¬∪?↔↔!α∃9bYR¬¬βπKπ&K∨5β6{IαK.O?;Ns≥βJαπ;πf{∨dYR`4*π↔#'≠'≡Kπ1αNsS↔3fK∨↔;≡)↓I1β	e]EbβCA9β	Q]59a84Ph*/;/#!2∪}sπ3⊃∧)913"π;∂N+;Qα⊗g3}s'π9∧3∨?⊗KS#7→1)04T~ε∞5β	U1αW+3e1β	e]IbβCA9β1]E539]84Ph*3↔*aαK'≡CπK⊃∧→9αQraYR7+kke∧c?∨'~βπ;⊃π##∃α⊗+O?3/#'?9¬βK';≡KC3∀2Q04*T
∞5↓I1α+∞sWπKJa↓Ee;⊃1βCαq↓EAJiEEeph(4(3@
YTc↔;π"aα⊃9bYR
,J:∨MRα/;?>c↔∪∨*βπMαNsS↔K∞≠S';:α↔cC/∪SLYRa↓SSBα&*∞I1↓EK9U84Ph*7∞≡KS#Jaα+?Fq1βπv!α#πN+M1αεSK'≡Y1Y%≠?7∃¬β#'3␈≠?C#N≠π1απ∪?3.kL4+7∪?5β&C∃αO&;∪C}K;Qβ}1απK&K≠'∂N1α'w#↔33N;↔;∂)1)1αn∂#'v)α';&+33'>+;∂∀hQQ1↓IYe1πβA9↓#1M5Uβ⊃84(hR7πK&K91α:q1βπv!α≠π&+7π9bαI91↓1RS#*α6ε∞≥J6¬α∨KOS↔i1)1α≡+∂?; h*Ogoβ?O'.iβ?9¬≠g7}c'
β∞s⊃απf;↔K∞K
α7∞s'CWfS'?ra↓Ee;	1βCαq↓Uek9U84Ph*7'w≠/e1∧kπK[Nq1Y$3Kπ7/_Y)1εK9↓">K;OS}q%Y%βOg∂F{3?∨Jβ?→α≡{7CW&+H4*6KO'?q1)1↓I]Q8hP4*;/3';MbαπKSG+Iα)raYRεcπ;∃∧;↔?7/#Keα&C↔?K.iαCK␈3';≥¬+O';:α≠?K>K⊃α≡Cπ';Ns≤Y)`h*πK&K≠'∂N1α'w#↔33N;↔;∂*↓Y1α∨βK';:↓Ee]*aβCAr↓E5I~p4(4Ts↔←↔fa1α¬raYRπ∪?∪W∨#'?9¬≠gOS.kLY)b↓998hP4*;/+7π;raα)9π3?91↓1RS#*α7πSF+7πSN≠'π82Q1β'rαI:	rα#↔g>{?⊃↓F+⊃%1↓1RS#*α←?K←_4+?2βS#∃∧k';⊂2Q1αUrα∂#'≡∨=απ∪↔OMbβCA9β	aA5IY1↓IQ]8hP4*;/+7π;raα)9π3?91↓1RS#*α∂?7π+S↔Iε;⊃β&C∃α⊗'8YRaαO'fc'7πrα3↔∂'+K↔Mbαgπ3*αU9απ∪↔OM`h)Ee+A84(hRCπ∨/⊃1α∪∂3'⊃1↓1R¬απ∪?C?≡1β≠␈⊃β¬α≡{7CW&+I7∂≠↔⊃αNsS↔K∞≠S'[*αO∂'.sS'≠N_4*∂}k7W;O#dY)bα∞ε∞j↓EU1∧3↔K.Ke1β	e]IbβCA9β9E5]*p4(4Uβπ∨↔∩aα∪π6K⊃13"?9β&C∃αC⊗{3↔jβ?→α≡{77WvK∂πSNs≥α∂}kC3↔Bα';≠␈∪7πSN{8Y)`h*∞ε≤i↓EYbα7πeb↓Ee]~aβCAr↓I]Uk⊃aE8hP4*C␈≠C↔3␈11α⊃t	91α2r99απ+O#/Nq1αYtq9αO∞#?[O↑K%13"S?←∂∪⊃β¬ε#↔≠'vKS'?ph+?→εC↔WK≡KS'∂→1)1βNq↓"Ytq:CW≡C/'9bβ↔∪'&{I%3"CK?⊗c↔7Mε{→α#/+K'O&K∂LYR`4*'w≠S'S/!αCON[#?3};'%α∞[π∪↔nK%αC.#π∨?>K∂#↔≡['/!∧sπW-¬~NNI`h*7?≡≠?]1β	eYeph(4*≡≠π;∪/∪¬1αV{O↔CBα591ε;⊃αV{#9αBqα∪W⊗s'91ε;⊃↓¬;π33∞≠∃α!rα←W36+∂-αLI04(3"#'∨F+Iα?⊗#↔Iα↔+3∃α≡CπKπ∨#↔K'VS'?rβ?→αF+WK'∨#'∂Mε3?Iα≡{7Cπ∨→βπ; h*OS⊗'∨#"α↔∪∨*α∂?;∨#KW∂&K?;ONqα∨↔}k↔SKI1)1αRqαπK&K≠'∂N1α'w#↔33N;↔;∂*↓U1αvy9↓I`h*OWnk↔I1β	e]QbβCA9β	Qe5AQ84Ph*O'n{91αF+K↔↔!α¬9bβπ;⊃∧S?O↔εAα	9∧[π∪πv)1Y${CS'n1αC⊗{3↔jjO?36K;≤4U≠↔πK≡Aiαπfa7?Ils?;∃¬≠?3W&K?;L2Q1α)rαπKSN3'∂'∞aα';&+33'>+;∂∃β11α;zq↓M0hR≠π3b↓Ee]*aβCAr↓IMUk⊃Qa8hP4(Y@∩Y*≡c?7πraαππ⊗{913"';S/∪π∂SN{;Mα⊗+S←↔.qαC#Nc?O?εCeβπv!απK&K≠'∂N14TK;S↔fc'∨↔v≠∃iα&C∃αK}c∃β?2α';S.KS'?rβπ;⊃∧s?96f{∨'∂∞aαK↔∂≠?;'v9β'8hR';S.c3'∨.s∂∀YRaαπK&K≠'∂N1α'w#↔33N;↔;∂*↓I1↓I]E1πβA9↓∪↓e5I∪)84(hRO3?n91α∞K?9bYR?rα3↔π⊗s';≥ε?W"α;W7⊗+KLYRa998hP4):,r⊂4(hP1:ε≥~⊗∞AD#?∂Wn+;Sπ&K?9$hP4):∀*≡&9¬"VJ9∧z~→↓∀↓	αR-∩9α>r↓oy⊂h(4*⊗+3?]εK∃βfKOS↔"βO?7*βK↔≠/∪↔;∂/→βS=ε+πK3N+Iβπ↔#'∂3/→1βSzβ?97fK;∃hS∪?∂.k↔;S∂#'?9ε?W"αε51π#=βSF)αε5πβK?∨⊗5β''≠↔3→bβ↔S
ph(4*&C∃αεjβK↔C⊗+O↔;&S'?rβ'Mβ
β[πKN;Qβ}1βS#*↓

⊗Lr∨M	εK∪↔π~aβ¬βn{∪W3∂⊂4+K/βK↔O.sSπSN{9β≠␈⊃β/;␈;3↔∪>)84*&C∃↓β∂βC3'≡S'?r↓β?→αα
⊗&t;MβSz↓βπ9ααπWS}kπS'~↓αCK};Kπ7nK;≥↓π#πO-αβ'L4V#↔O∂⊗K↔⊃αβ'9α\c↔;π%iβπ;"αn∨K.+9β↔"βπ2ur4*SF)απW&{7πSN→αCK};Kπ7nK;≥β&O-β>C'∂!π##↔eπ;↔K∃ε#↔O'>s↔⊂4W#=βC/∪≠?Kjβ';[}c[↔⊃π##∃β∨K;S#/≠'Mβ}1β¬β≡{;∂↔π!β≠?⊗kπS'}qβCK};Kπ5ph*CK}∪3↔7~β←'SBβS#π"βSπOZβ∪?7∞K84)B∪∂?;≡+CQ76{K7π&K?97π∪?∨K∞i7←KO#';≥∩H4+3.!βS=π##∃αiβCK}S↔∂Qr4*'rβ#'Mπ≠W77∂∪eβ?2βS#∃π≠SπS*β?→α∂+S?7∂#'
απ∪?∨K∞k7';:αn'/∪7π:jaα'/∪7π8hS∂?7εK↔M∧∩⊗&:?→β←'&Aα≠K∞k↔M1∧∂S?↔→1β↔&→91β∞s⊃β∨O3↔Mβ
β;'∂*β↔cπoβ3∃β}04*
,J:∨MεK9βπ∨#'?9r4(4TC'OS␈∪e↓β↔+≠≠Mεkπe↓ε∪∃↓βNsS↔K/≠S↔⊃εK9↓βε+KWONs≥↓β&C∃β?⊗K∨';∞a↓βSF+O'LhSCK?ε{Oπ1α↓β≠?∩↓↓αεj↓↓#π⊗{WQ↓α↓UA↓αβCπ∨/→↓↓βf{;≥%r↓α'Qα↓β'Mα↓β/↔π!↓βπ_h*Nf≠"nR2Zb∩
2lαNU6I84(hRS#∃ε3W31αβ?∪J↓β?→αβ/;?>c↔∪∨*βCK?6K∪↔⊃αβS=↓∧
5↓βO→β≠?.s⊃↓βNq↓α↔v;3'O@h+SK∞sO3π&K?9β}q↓β≠Nc∃α≡M2⊗:n$b-2∩∀bvαN*jε%9h*S#O→β'Mε	β3?v;↔I1ε3W33/⊃βSK.S7↔w!βS#∞qβS#*β?;∃ε3?W;"β'9β&C'Mβ&{∂W7.sQ1βNp4*ππβ↔;∪OAβnm∃iαε2d~>;yph*S#*↓β/;␈;3↔∪>)YS∂→βWO. Y(4VKMβ?2β∂?W↔≠∃βSF)αε5πβK?∨⊗5β''≠↔3→ph*;↔.#3↔O~βS=β≡e1βO!β'M↓1S7W≡@Y)βf{;∨↔∩βS#πrβS#∃ε+c∂↔↔βSMβ≡C?←9εK84*∂βC↔;&Kaβn[∩uα∞|rOy8hP4*O∞K⊃βK.s;';:αε5↓πβK?∨⊗5β'~↓βOS␈∪↔⊃β∂!αNVl*a1↓ε{9β∪O∪↔∂S␈∪e↓↓db⊗:ε#q84*7∪?5αNsS↔KfKOA1ε{;∃↓εs↔↔⊃ε{;3eεc?π⊃εK9↓β&C∃β≠Nc∃↓rd*:εQtbQ9↓ααS#'~β'84W#WK9π;'31εc?π⊃εK9βSG∪↔∃β6K3↔MRαR>A2aα∞>s11βπv!αVRLaY9↓¬≠=β'2βg?Uπ;π;PhSS=β∨#↔π1∧
51β&/∃β∞c1β≠␈+Iβ≠Nc↔M¬h(4*}s∂∃βf{π∪↔"aβS#*↓βCK};Kπ5εKMβO.c→7↔Gβ3π;∂#?Ker↓α'Qπ;'31εK;OS↔+∂Q↓π##∀4W+O↔Iπ#=↓β'KC∃3!"NR
∩Q$YRβS=β⊗+∨'9ααε5βO#O↔32qα?;≡)β#∃αβ∪?↔~βS#'~aαε4hS←'3b↓↓↓β∂≠-↓↓αβ#'5α↓↓βO}k∃↓↓πW↔O&K?;Mb↓↓↓β∞s⊃↓↓αβS#↔r↓↓↓β.sS↔Iα↓βS#(h+O↔f+∂Q7∞s⊃7↔F+∂WS*k¬7+}⊃β3?␈↓84(hR¬β∂↔+∪∃↓↔+O↔I?→β7πw+π1	εKMβO&{K↔⊃εMβ≠Nc∃α6rVε2\
52∩∀bvαN*jε%8hRS#∃π∪↔π∪/⊃β'Mπ+K∨↔"βS=β>cπ;∂*β?[↔∩β'Qβ⊗+≠?K*βKW;vK;≥αi1βONs∂∃βo+∂!β}1βS#(h+π∂'+π1αdJNAβ≡{∪∃βO→β7?⊗)βO?εC'OSN≠πS↔"βS#πrβS#'~βS#↔≡KMβ7∞#∃β'"βO↔↔hh)#∃v991β&C↔K∃εK∃β';=β∪Nsπ7'≡33en∪+W∨#↔⊃β6K'π⊗c↔M1¬3↔K␈≠'Senc↔[↔bβπ;⊂hR↔cC/∪Q73/3↔19¬##∃β6{K7↔∩β[πKN3∃ε#↔S↔⊗k';↔_h+←#N≠!β↔6+;SMε;↔;↔⊗S∃β
β7↔O≡∨∃1ε;⊃β&C∃β3∂#S↔Iπ3πK'∞∪3∃β∞3≠↔∂'_4+SF)βS↔↔≠↔;↔∨→β?→ε+π∂!ε{→βSF{O∃βπ∪';S.!β7↔∨≠π∨↔~q$4(hQ:⊗: h(4(